-w default_pager /dev/boot_device/mach_servers/default_pager
-k -S 524288000 startup /dev/boot_device/mach_servers/vmlinux+installer -c "root=/dev/ram"
